Free shipping on all orders! No minimum purchase required.
Software Engineering and Formal Methods
by Gilles Barthe (Editor), Alberto Pardo (Editor), Gerardo Schneider (Editor)
